Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
191	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D26 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-18 04:24:18 Byzantine music Cretan lyra Cretan music Object Process Methodology Rodin B-Method Michael Butler Metaclass Formal methods Rodin tool
192	Exam Logical Verification December 18, 2008 There are six (6) exercises. Answers may be given in Dutch or English. Good luck! Exercise 1. This exercise is concerned with first-order propositional logic (prop1) and simply Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Mathematical logic Type theory Formal methods Classical logic Metalogic Lambda calculus First-order logic Propositional calculus Tautology Dependent type Well-formed formula Logic programming
193	Modelling and Analysis of Communications Services Ken Turner Computing Science and Mathematics www.cs.stir.ac.uk/~kjt/research/cress.html Add to Reading List Source URL: www.cs.stir.ac.uk Language: English - Date: 2010-06-14 06:24:22 Formal methods Systems engineering Theoretical computer science Formal verification Logic in computer science Specification Object Process Methodology Cress Verification Diagram
194	Automated Verification of Functional Correctness of Race-Free GPU Programs Kensuke Kojima1,2 , Akifumi Imanishi1 , and Atsushi Igarashi1,2 1 Kyoto University, Japan Add to Reading List Source URL: www.fos.kuis.kyoto-u.ac.jp Language: English - Date: 2016-06-02 20:40:01 Formal methods Parallel computing Control flow Loop invariant Thread General-purpose computing on graphics processing units Invariant
195	ENVISAGE ENVISAGE will create a development framework based on formal methods to include resources and resource management into the design phase in software engineering for the cloud. This will improve the competitivenes Add to Reading List Source URL: envisage-project.eu Language: English - Date: 2013-10-11 12:01:32 Cloud infrastructure Cloud computing Service-level agreement IBM cloud computing
196	Multi-Instance Methods for Partially Supervised Image Segmentation Andreas M¨ uller? and Sven Behnke , Autonomous Intelligent Systems Add to Reading List Source URL: amueller.github.io Language: English - Date: 2016-08-04 15:59:56 Machine learning Formal sciences Artificial intelligence Image processing Image segmentation Computer vision Support vector machine Pattern recognition Kernel method Multiple-instance learning Statistical classification Multiple kernel learning
197	Logic and Proof Jeremy Avigad Robert Y. Lewis Floris van Doorn Version 891edf9, updated at:06: Add to Reading List Source URL: avigad.github.io Language: English - Date: 2016-08-13 19:54:37 Proof theory Formal systems Methods of proof Mathematical proofs Deductive reasoning Propositional calculus Natural deduction Theorem Rule of inference First-order logic Mathematical induction Formal proof
198	Rigorous development of reusable, domain-specific components, for complex applications* I. Johnson1, C. Snook2, A Edmunds2 & M. Butler2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-10-08 12:29:31 Unified Modeling Language Infographics Diagrams Models of computation Formal methods State diagram Object Process Methodology Stereotype Class diagram Refinement Object-oriented design Action
199	Formal Methods for XML: Algorithms & Complexity S. Margherita di Pula SeptemberThomas Schwentick Add to Reading List Source URL: edbtss04.dia.uniroma3.it Language: English - Date: 2004-09-14 11:37:07 Markup languages Functional languages Query languages Transformation languages XQuery XSLT XPath XML schema XSL
200	¨ DES SAARLANDES UNIVERSITAT FR 6.2 – Informatik Christoph Weidenbach Lecture “Automated Reasoning” Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2013-08-19 07:46:27 Logic programming Automated theorem proving Logic in computer science Formal methods Theoretical computer science Unification Lambda calculus Boolean satisfiability problem Conjunctive normal form

UPDATE